On Embedding Polynomial Functors in Symmetric Powers
نویسندگان
چکیده
منابع مشابه
Polynomial Functors and Polynomial Monads
We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a polynomial endofunctor is polynomial. The relationship with operads and other related notions is explored. Introduction Background. Notions of polynomial functor ha...
متن کاملComputations in Generic Representation Theory: Maps from Symmetric Powers to Composite Functors
If Fq is the finite field of order q and characteristic p, let F(q) be the category whose objects are functors from finite dimensional Fq–vector spaces to Fq–vector spaces, and with morphisms the natural transformations between such functors. Important families of objects in F(q) include the families Sn, Sn,Λn, S̄n, and cTn, with c ∈ Fq [Σn], defined by Sn(V ) = (V ⊗n)Σn ,Sn(V ) = V ⊗n/Σn, Λn(V ...
متن کاملPolynomial Functors and Trees
We explore the relationship between polynomial functors and trees. In the first part we characterise trees as certain polynomial functors and obtain a completely formal but at the same time conceptual and explicit construction of two categories of rooted trees, whose main properties we describe in terms of some factorisation systems. The second category is the category Ω of Moerdijk and Weiss. ...
متن کاملSecond symmetric powers of chain complexes
We investigate Buchbaum and Eisenbud's construction of the second symmetric power $s_R(X)$ of a chain complex $X$ of modules over a commutative ring $R$. We state and prove a number of results from the folklore of the subject for which we know of no good direct references. We also provide several explicit computations and examples. We use this construction to prove the following vers...
متن کاملPolynomial functors and opetopes
We give an elementary and direct combinatorial definition of opetopes in terms of trees, well-suited for graphical manipulation (e.g. drawings of opetopes of any dimension and basic operations like sources, target, and composition); a substantial part of the paper is constituted by drawings and example computations. To relate our definition to the classical definition, we recast the Baez-Dolan ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1994
ISSN: 0021-8693
DOI: 10.1006/jabr.1994.1018